MatchOnFunctions.agda:7,6-9
Cannot split on argument of non-datatype Nat → Nat
when checking that the pattern suc has type Nat → Nat
